1. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration

رده :
QA
76
.
L28
Vol
.
408